formal address
英 [ˈfɔːml əˈdres]
美 [ˈfɔːrml əˈdres]
形式地址
双语例句
- Mr. Bush will make a formal Memorial Day address Monday at Arlington National Cemetery, just across the Potomac River from Washington.
布什星期一将在华盛顿波多马克河对面的阿灵顿国家公墓发表正式的阵亡将士纪念日讲话。 - Like Munich, its residents are formal, but with small doses of courtliness, polite forms of address and formal dress attire, the residents of Vienna tend to be equally modern and old-fashioned.
和慕尼黑一样，维也纳的居民也很讲礼节，不过加上他们稍许的谦恭、礼貌的言辞和正式的着装，他们往往显得既现代又传统。 - You write a formal business letter with your company's address and the recipient's address in the salutation at the top of the letter.
撰写正式的商业信件时，公司地址和收件人地址将写在信件顶部的开头称呼语中。 - Formal reviews to address the subcontractor's software engineering accomplishments and results are conducted at selected milestones according to a documented procedure.
根据文档化的过程，在挑选的里程碑阶段对子承包商的软件工程完成情况与结果进行正式评审。 - The delegate should only specify the errors they believe were made in the formal committee procedure, but may not address when the topic being discussed.
代表需要明晰该错误为何不符合该委员会的规则流程。组织性问题可以打断进程提出，但不能在讨论议题时提出。 - ( In public conversation he is always Manolo and his shoes are Manolos, despite such a highly developed code of personal propriety that he calls everyone by formal terms of address).
（在公开谈话中，他总是被称作马诺洛，他的鞋是马诺洛，尽管他总是本着严格的个人礼仪规范，对任何人都采用正式称呼。） - No formal celebrations followed the address.
演说之后没有什么正式的庆祝活动。 - Additionally, he no longer is a member of the MSU community and there is not another formal process which could be utilized to address this situation.
进一步说，他压根儿不再是密歇根州立大学社区成员，没有其它的正规的程序可被用来处理这种情形。 - As a formal development tool, Petri net has strict mathematical semantics and can be used to analyze and validate a system conveniently to address the problems of lacking of formal description and validation in object-oriented technology.
Petri网作为一种形式化的开发工具，具有严格的数学语义，可以方便的对系统进行分析和验证，以解决面向对象技术缺乏形式化的描述和分析验证问题。 - In research methods, firstly, describe new formal verification methodes to address the state explosion problem, and analysis their ideas and problems of the methods briefly.
在研究方法上，首先，本文讲述了为解决状态爆炸问题而产生的形式化验证方法，简要分析了它们的验证思想以及存在的问题。 - The method has gained a lot of research results, but they are primarily designed for the collaborative model reflects the in the formal description aspects. The model itself does not address what kind of optimization algorithms used is explained.
该方法已经取得了很多研究成果，但是它对于协同模型的设计主要体现在形式化描述方面，并没有对模型本身采用何种优化算法进行说明。